Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science)
by Christiano Braga,Narciso Martí-Oliet
ISBN 13: 9783319150741
Format: Paperback (192 pages) Publisher: Springer Published: 28 Feb 2015
Save for later
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday: 9200 (Lecture Notes in Computer Science)
by Narciso Martí-Oliet,Peter Csaba Ölveczky,Carolyn Talcott
ISBN 13: 9783319231648
Format: Paperback (648 pages) Publisher: Springer Published: 21 Aug 2015
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers: 7841 (Lecture Notes in Computer Science)
by Narciso Martí-Oliet,Miguel Palomino
ISBN 13: 9783642376344
Format: Paperback (296 pages) Publisher: Springer Published: 13 Apr 2013